... syntax directed semantics 语法导向 relational semantics 关系语义学 formal semantics 形式语义 ...
基于1个网页-相关网页
... Formal Linguistics 形式语言学 Formal Semantics 形式语意学 forward inference 前向推理 [向前推理] ...
基于1个网页-相关网页
Introduction to Formal Semantics 形式语义学引论
On Formal Semantics 论形式语义学
Verilog formal semantics Verilog语义
formal semantics language 形式语义语言
component formal semantics 构件形式语义
requirment of formal semantics 形式语义要求
introduction to formal semantics detail 形式语义学引论
Formal semantics of programming languages 形式语义学
Formal Operational Semantics 形式化操作语义
The formal semantics difined here is able to deal with most of the features of UML activity diagram,and establish the foundation of describ-ing and analysis of work flow.
该形式语义覆盖了UML活动图的绝大部分特征，为精确描述工作流程并对其进行分析奠定了基础。
参考来源 - 期刊学术社区·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.
文中从形式语义的角度出发，对IEC 61850的建模方法和所给出的模型进行了研究。
By utilizing OWL classification, it can provide additional vocabulary along with formal semantics to describe the XML schema assets.
通过利用OWL分类，它能够提供额外的词汇表和正式的语义来描述xml模型资源。
The main method of achieving that purpose is modeling the formal semantics of the resources, and to represent it in XML syntax.
它的主要实现方式就是通过对资源的形式化语义描述建模，并且通过XML语法格式来得以实现。
应用推荐